" Thomas Henzinger" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings ... Computer Science and General Issues)

Krishnendu Chatterjee, Thomas A. Henzinger

Категория: Компьютеры

3.08 Mb

#2

Computer Aided Verification, 8 conf., CAV '96

Rajeev Alur, Thomas Henzinger

Категория: Cs_Computer science, CsLn_Lecture notes

5.09 Mb

#3

Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

Jacques Duparc, Thomas A. Henzinger

9.49 Mb

#4

Computer Science Logic, 21 conf., CSL 2007

Jacques Duparc, Thomas A. Henzinger

Категория: Cs_Computer science, CsLn_Lecture notes

6.02 Mb

#5

Hybrid Systems III: Verification and Control: No. 3

Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag

5.84 Mb

#6

Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings

Thomas A. Henzinger, Shankar Sastry

4.54 Mb

#7

Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings

Thomas A. Henzinger, Christoph M. Kirsch

4.55 Mb